Constraint algebra

Results: 94



#Item
61Mathematics / Local consistency / Constraint satisfaction / Vector space / Constructible universe / Mathematical optimization / Constraint logic programming / Decomposition method / Constraint programming / Algebra / Software engineering

doi:[removed]j.artint[removed]

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2006-07-07 02:40:42
62Numerical linear algebra / Regression analysis / Essential matrix / Bundle adjustment / Singular value decomposition / Epipolar geometry / Constraint algorithm / Matrix / Least squares / Algebra / Mathematics / Linear algebra

Linear approach to motion estimation using generalized camera models

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-03-11 19:01:05
63Quantum field theory / Theoretical physics / Hamiltonian constraint / Theories of gravitation / Hilbert space / Constraint algebra / Quantum gravity / Quantum geometry / Physics / Loop quantum gravity / Quantum mechanics

The Master Constraint Programme Bianca Dittrich Perimeter Institute for Theoretical Physics, Waterloo, Canada Quantum Gravity in the Americas III, PennState, August 2006

Add to Reading List

Source URL: www.gravity.psu.edu

Language: English - Date: 2006-09-06 11:29:08
64Mathematical optimization / Convex optimization / Linear programming / Interior point method / Constraint / Vector / Euclidean vector / Mathematics / Algebra / Operations research

Noname manuscript No. (will be inserted by the editor) Improved Constraint Consensus Methods for Seeking Feasibility in Nonlinear Programs Laurence Smith · John Chinneck ·

Add to Reading List

Source URL: www.sce.carleton.ca

Language: English - Date: 2012-02-27 14:04:21
65Constraint programming / Decomposition method / Model theory / Boolean algebra / Function / Canonical form / Multivalued function / Interpretation / Binary decision diagram / Mathematics / Mathematical logic / Functions and mappings

Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2001-05-09 04:01:38
66Complexity classes / Logic gates / Finite model theory / Boolean algebra / True quantified Boolean formula / Flip-flop / PSPACE-complete / FO / IP / Theoretical computer science / Computational complexity theory / Applied mathematics

The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications Robert A. Hearn1 and Erik D. Demaine2 1 Artificial Intelligence Laboratory, Massachusetts Institute of Technology,

Add to Reading List

Source URL: groups.csail.mit.edu

Language: English - Date: 2002-07-31 20:05:58
67Operations research / Linear programming / Convex optimization / Combinatorial optimization / Array data type / Constraint / Assignment problem / Matrix / Vector space / Mathematics / Algebra / Mathematical optimization

Package ‘lpSolve’ July 26, 2014 Version[removed]Date[removed]Title Interface to Lp_solve v. 5.5 to solve linear/integer programs Author Michel Berkelaar and others

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-26 02:28:22
68Mathematical analysis / Lagrange multiplier / Karush–Kuhn–Tucker conditions / Constraint / Derivative / Vector space / Quadratic programming / Duality / Constraint optimization / Mathematical optimization / Mathematics / Algebra

Portfolio Optimization Part 2 – Constrained Portfolios John Norstad [removed] http://www.norstad.org

Add to Reading List

Source URL: www.norstad.org

Language: English - Date: 2011-11-03 12:39:01
69Linear algebra / Linear programming / Interior point method / Quadratic programming / Lagrange multiplier / Matrix / Vector space / Karush–Kuhn–Tucker conditions / Algebra / Mathematics / Mathematical optimization

ADAPTIVE CONSTRAINT REDUCTION FOR CONVEX QUADRATIC PROGRAMMING∗ ´ L. TITS§ JIN HYUK JUNG† , DIANNE P. O’LEARY‡ , AND ANDRE Abstract. We propose an adaptive, constraint-reduced, primal-dual interior-point algori

Add to Reading List

Source URL: www.ece.umd.edu

Language: English - Date: 2012-01-11 10:10:21
70Mathematics / Matrix theory / Local consistency / Complexity of constraint satisfaction / Linear algebra / Constraint programming / Matrix

Constraints manuscript No. (will be inserted by the editor) On Matrices, Automata, and Double Counting in Constraint Programming Nicolas Beldiceanu · Mats Carlsson · Pierre

Add to Reading List

Source URL: www.it.uu.se

Language: English - Date: 2012-11-22 04:43:49
UPDATE